Type theory

In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics.

Extends: [Type theory](https://wikipedia.org.ai/Type theory), [Systems of formal logic](https://wikipedia.org.ai/Systems of formal logic), Hierarchy